These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD (...) 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. (shrink)

We propose an adynamical, background independent approach to quantum gravity and unification whereby the fundamental elements of Nature are graphical units of space, time and sources. The transition amplitude for these elements of “spacetimesource” is computed using a path integral with discrete Gaussian graphical action. The unit of action for a spacetimesource element is constructed from a difference matrix K and source vector J on the graph, as in lattice gauge theory. K is constructed from graphical relations so that it (...) contains a non-trivial null space, and J is then restricted to the column space of K which ensures it is distributed in a divergence-free fashion over the spacetime defined by the element. This rule for the relational construct of K and J is our proposed fundamental axiom of physics and results in a self-consistency relationship between sources, the spacetime metric, and the stress-energy-momentum content of the element, rather than a dynamical law for time-evolved entities. In its most general form, the set of fundamental elements employed by lattice gauge theory contains scalar fields on nodes and links, and vector fields on nodes. To complete the fundamental set, we propose the addition of scalar fields on plaquettes and vector fields on links. We use this approach via modified Regge calculus to correct proper distance in the Einstein-deSitter cosmology model yielding a fit of the Union2 Compilation supernova data that matches ɅCDM without having to invoke accelerating expansion or dark energy. (shrink)

In this anthology, prominent contemporary theorists assess the benefits and dangers of postmodernism for feminist theory. The contributors examine the meaning of postmodernism both as a methodological position and a diagnosis of the times. They consider such issues as the nature of personal and social identity today, the political implications of recent aesthetic trends, and the consequences of changing work and family relations on women's lives. Contributors: Seyla Benhabib, Susan Bordo, Judith Butler, Christine Di Stefano, Jane Flax, Nancy Fraser, Donna (...) Haraway, Sandra Harding, Nancy Hartsock, Andreas Huyssen, Linda J. Nicholson, Elspeth Probyn, Anna Yeatman, Iris Young. (shrink)

This comprehensive text shows how various notions of logic can be viewed as notions of universal algebra providing more advanced concepts for those who have an introductory knowledge of algebraic logic, as well as those wishing to delve into more theoretical aspects.

What are physical quantities, and in particular, what makes them quantitative? This book presents an original answer to this question through the novel position of substantival structuralism, arguing that quantitativeness is an irreducible feature of attributes, and quantitative attributes are best understood as substantival structured spaces.

J. B. Schneewind's "The Invention of Autonomy" has been hailed as a major interpretation of modern moral thought. Schneewind's narrative, however, elides several serious interpretive issues, particularly in the transition from late medieval to early modern thought. This results in potentially distorted accounts of Thomas Aquinas, Hugo Grotius, and G. W. Leibniz. Since these thinkers play a crucial role in Schneewind's argument, uncertainty over their work calls into question at least some of Schneewind's larger agenda for the history of ethics.

That space and time should be integrated into a single entity, spacetime, is the great insight of Einstein's special theory of relativity, and leads us to regard spacetime as a fundamental context in which to make sense of the world around us. But it is not the only one. Causality is equally important and at least as far as the special theory goes, it cannot be subsumed under a fundamentally geometrical form of explanation. In fact, the agent of propagation of (...) causal influence is electromagnetic radiation. In this examination, the authors find support for a rationalist approach to physics, never neglecting experimentation, but rejecting a simple empiricist or positivist view of science. (shrink)

This book takes on two main tasks. The first is to argue that anti-hedonism lies at the center of Plato's critical project in both ethics and politics. Plato sees pleasure and pain as our sole sources of empirical evidence about good and bad. But as sources of evidence they are highly fallible; contrast effects with pain intensify certain pleasures, including most pleasures related to the body and social standing. This leads us to believe that the causes of such pleasures (e.g. (...) food, drink, sex, status) are greater goods than they are, and greater goods than other, more important goods (e.g. virtue, knowledge). As a result, hedonic error produces the belief that vice, including injustice, can be prudent. Hedonic error leads to other misconceptions of virtue as well, such as that wisdom is weak and can be ruled by the passions. These cognitive distortions can only be corrected by reference to some non-hedonic standard, so hedonists reliably fall prey to them. This entire system of attitudes—hedonism and its associated misconceptions of virtue—is widely held and constitutes popular morality. Popular morality's basic source is hedonic error, but it is also transmitted and sustained in society through shame and fear of punishment. However, avoiding shame and punishment requires a sort of double-think: adherents of popular morality must accept certain views that they cannot acknowledge too clearly or too publicly. For example, they must hold that injustice can be prudent and must be willing to wrong out-groups (e.g. another city), but openly acknowledging this same view threatens in-groups (one's own city) by implying willingness to wrong some in the city to benefit a closer in-group (e.g. one's class, clique, or family). // -/- The book's second task is to tackle a seeming outlier to Plato's anti-hedonism: the _Protagoras_, where Socrates appears to defend hedonism. I argue that the _Protagoras_ actually perfectly illustrates Plato's anti-hedonism, as explained above. Protagoras and other sophists think they shape public opinion, but in fact they have internalized popular morality through shame and fear. As a result, Protagoras accepts but refuses to openly endorse three parts of popular morality: that injustice can be prudent (333c), that pleasure is the good (351c-d), and that wisdom is weak and can be ruled by the passions (352c-d). Each time, his concealed view is (aptly!) attributed to "the many". So, when Socrates appears to endorse hedonism in the _Protagoras_, he actually introduces and develops the view as part of his examination of Protagoras' covert ethical commitments. (shrink)

Misconceptions about energy conservation abound due to the gap between physics and secondary school chemistry. This paper surveys this difference and its relevance to the 1690s–2010s Leibnizian argument that mind-body interaction is impossible due to conservation laws. Justifications for energy conservation are partly empirical, such as Joule’s paddle wheel experiment, and partly theoretical, such as Lagrange’s statement in 1811 that energy is conserved if the potential energy does not depend on time. In 1918 Noether generalized results like Lagrange’s and proved (...) a converse: symmetries imply conservation laws and vice versa. Conservation holds if and only if nature is uniform. The rise of field physics during the 1860s–1920s implied that energy is located in particular places and conservation is primordially local: energy cannot disappear in Cambridge and reappear in Lincoln instantaneously or later; neither can it simply disappear in Cambridge or simply appear in Lincoln. A global conservation law can be inferred in some circumstances. Einstein’s General Relativity, which stimulated Noether’s work, is another source of difficulty for conservation laws. As is too rarely realized, the theory admits conserved quantities due to symmetries of the Lagrangian, like other theories. Indeed General Relativity has more symmetries and hence more conserved energies. An argument akin to Leibniz’s finally gets some force. While the mathematics is too advanced for secondary school, the ideas that conservation is tied to uniformities of nature and that energy is in particular places, are accessible. Improved science teaching would serve the truth and enhance the social credibility of science. (shrink)

This chapter focuses on the question of quantitativeness – of identifying the feature that makes quantitative properties quantitative. The chapter begins with two traditional attempts at capturing what makes a property quantitative – being numerical and being determinable – and argues that neither is satisfactory. The chapter then turns to influential recent proposals which, inspired by the Representational Theory of Measurement, attempt to identify particular relations as characteristic of quantitative properties. These attempts fare better than the traditional ones, but have (...) their own limitations. It concludes with a discussion of a new recent criterion for quantitativeness, which builds on a more abstract understanding of the representational theory of measurement. (shrink)

The widely accepted supposition that Newton’s De gravitatione was written in 1684/5 just before composing the Principia is examined. The basis for this determination has serious difficulties starting with the failure to examine the numerical estimates for the resistance of aether. The estimated range is not nearly nil as claimed but comparable with air at or near the earth’s surface. Moreover, the evidence provided most likely stems from experiments by Boyle, Hooke, and others in the 1660s and does not use (...) evidence available in the late 1684. The document supports Newton’s contention that the aether medium incorporates very large voids thereby proving that body and space differ but does by no means completely reject its corporeal nature or eliminate its resistance. Newton’s use of the term inertia provides no conclusive evidence for a late date as often claimed and his definition of gravitas is difficult to reconcile with a late one. (shrink)